CatDat

Implication Details

Assumptions: locally presentableself-dual

Conclusions: locally copresentable

Reason: This holds by self-duality.